class c_78_3;
    integer req_payload_mode = 2;
    integer temp2 = 0;

    constraint WITH_CONSTRAINT_this    // (constraint_mode = ON) (../spt_agent/spt_sequence.sv:78)
    {
       (req_payload_mode == temp2);
    }
endclass

program p_78_3;
    c_78_3 obj;
    string randState;

    initial
        begin
            obj = new;
            randState = "100xz00010x00z0000xz0zz1zzxzxxzzxxxxxxzxzzzzxzzxzxzzzxzzxzzzxzxx";
            obj.set_randstate(randState);
            obj.randomize();
        end
endprogram
